descriptive definition in automata